DES based Modeling and Fault Diagnosis in Safety-critical Semi-Partitioned Real-time Systems
نویسندگان
چکیده
منابع مشابه
Development of Safety-Critical Real-Time Systems
This paper presents an approach to the development of safety-critical real-time systems linking from the Requirements Language developed in the ESPRIT Project ProCoS to the Temporal Language of Transitions (TLT) speciication language developed at Siemens Corporate Research. A system is deened by a conventional mathematical model for a dynamic system where application speciic states denote funct...
متن کاملSafety Verification of Real Time Systems Serving Periodic Devices
In real-time systems response to a request from a controlled object must be correct and timely. Any late response to a request from such a device might lead to a catastrophy. The possibility of a task overrun, i.e., missing the deadline for completing a requested task, must be checked and removed during the design of such systems. Safe design of real-time systems running periodic tasks under th...
متن کاملSimulated Fault Injection for Time-Triggered Safety-Critical Embedded Systems
of the Dissertation
متن کاملScheduling and timing analysis for safety critical real-time systems
The scheduling of tasks in safety critical systems such that the timing requirements are reliably met is often di cult. Safety critical systems are di erent to other systems because a failure to meet a requirement may lead to a catastrophic e ect, for example an accident leading to loss of life. For this reason, there is a greater emphasis on veri cation and validation of software than with oth...
متن کاملAutonomous Hard Real-time Response in Safety-Critical Systems
Autonomy introduces computational complexity, particularly when multiple behaviors are required to handle events that compromise safety. A real-time control plan specifies actions plus a resource schedule to guarantee real-time constraints will be met during plan execution. The Cooperative Real-time Control Architecture (CIRCA) was designed to automatically create and execute real-time control ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IFAC-PapersOnLine
سال: 2017
ISSN: 2405-8963
DOI: 10.1016/j.ifacol.2017.08.921